Model-Checking相关论文
本文分别以安全协议模型检测器SATMC和ProVerif为例，介绍了基于经典逻辑的安全协议模型检测两种方法：SAT方法和归结方法，并简要地给出......
模型检查作为一种自动化系统验证方法,已被应用于多智能体系统的验证.由此延伸出的规约描述语言——交替时态逻辑（ATL）,也被给予了高......
模型检测是近二十几年来最成功的自动验证技术之一,而模型检测工具的开发是将模型检测和实际相结合的关键.为了有效地对涉及到复杂......
提出了将形式化验证特别是模型检测技术应用于电子商务系统的第三方验证，给出审计师选择模型检测器的方法和应用步骤．分析了验证示例......
入侵检测系统的智能性逐渐受到重视．基于逻辑的模型检测方法是一种有效的误用检测方法。介绍基于逻辑的模型检测方法的研究现状，提出......
